home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import java.awt.Component;
- import java.awt.Dimension;
- import java.awt.GridBagLayout;
- import javax.swing.JPanel;
- import javax.swing.JViewport;
-
- class ElementPane$ViewportMatt extends JPanel {
- // $FF: synthetic field
- final ElementPane this$0;
-
- ElementPane$ViewportMatt(ElementPane var1) {
- super(new GridBagLayout());
- this.this$0 = var1;
- ((Component)this).addMouseListener(new ElementPane.1(this));
- }
-
- public Dimension getPreferredSize() {
- Dimension var1 = super.getPreferredSize();
- JViewport var2 = (JViewport)((Component)this).getParent();
- if (var2 != null) {
- Dimension var3 = var2.getExtentSize();
- var1.width = Math.max(var1.width, var3.width);
- var1.height = Math.max(var1.height, var3.height);
- }
-
- return var1;
- }
- }
-